Deductive Software Verification – The KeY Book - From Theory to Practice
- Författare
- (Edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2016 | Tyskland, Cham | XXXII, 702 sidor. 110 illus. online resource. | 978-3-319-49812-6 |